Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
871	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
872	Criteria for Selection of Environmental Decision Support Software Technology Demonstration Participants December 1997 Add to Reading List Source URL: epa.gov Language: English - Date: 2014-08-05 13:08:54 Knowledge engineering Software testing Knowledge Technology Science Environmental Technology Verification Program Decision making Decision theory Information systems Decision support system
873	7th International ERCIM Workshop on Formal Methods for Industrial Critical Systems Add to Reading List Source URL: fmics.inria.fr Language: English - Date: 2002-06-24 05:00:37 Science Model checking Software Model checkers Verification and validation PRISM model checker Abstraction Formal verification Formal methods Software development Software testing
874	National Aeronautics and Space Administration Internship Opportunities NASA’s Independent Verification & Validation Program Add to Reading List Source URL: www.nasa.gov Language: English - Date: 2014-05-08 15:42:13 Employment Internship James Webb Space Telescope Reliability engineering Systems engineering Education Learning Software quality
875	Why use Xen for large scale Enterprise Deployments? Konrad Rzeszutek Wilk Software Developer Manager Copyright © 2014, Oracle and/or its affiliates. All rights reserved. \| Add to Reading List Source URL: events.linuxfoundation.org Language: English - Date: 2014-08-23 11:42:08 Cross-platform software Linux Linux kernel Xen Oracle Corporation Oracle Linux Kernel Oracle Database Open Verification Methodology Software Computing Computer architecture
876	Agile Verification Gerard J. Holzmann [removed] how we design & test software today Add to Reading List Source URL: www.kiss.caltech.edu Language: English - Date: 2012-08-03 13:15:57 Formal methods Software engineering Software testing Model checking Postcondition Software development process Requirement Model-based testing Theoretical computer science Software development Logic in computer science
877	BIOMETRICS Fall 2013 Assignment 5: Face Verification Due: November 12, 2013 at 5pm via Courseworks Lab Description: Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2013-10-31 11:57:59 Computing Image processing Statistical classification Support vector machine MATLAB Feature Fold Open Software Computer vision Statistics
878	Fiscal Year 2013 Oil and Gas Inspection and Enforcement Strategy Matrices Instructions and Strategy Goals Add to Reading List Source URL: www.blm.gov Language: English - Date: 2014-11-26 19:09:02 Validity Inspection Verification and validation ALGOL 68 Software engineering Computing Quality Programming language theory Pharmaceutical industry
879	JOHN G. HUNTINGTON, Ph.D. Consultant – Analytical Chemistry and Data Analysis REPRESENTATIVE AREAS OF EXPERTISE LABORATORY OPERATIONS Overview: Chemist and IT Professional working in environmental, R&D and control labo Add to Reading List Source URL: www.analyticagroup.com Language: English - Date: 2013-04-10 19:02:05 Laboratory information management system Laboratories Quality assurance Occupational hygiene Verification and validation Analytical chemistry Mass spectrometry software Chemist LabLynx Inc. Science Information systems Health
880	WHY USE OVM FOR ORACLE DATABASES Prepared by: Add to Reading List Source URL: oraclenz.org Language: English - Date: 2013-07-03 18:32:57 Cross-platform software Relational database management systems Virtual machines Oracle Database Oracle Linux Oracle Corporation Standard Performance Evaluation Corporation Open Verification Methodology Virtualization Software System software Computing

UPDATE